Part I: Using Verification Metrics

نویسندگان

  • Richard Ménard
  • Martin Deshaies-Jacques
چکیده

We examine how passive and active observations are useful to evaluate an air quality 9 analysis. By leaving out observations from the analysis, we form passive observations, and the 10 observations used in the analysis are called active observations. We evaluated the surface air quality 11 analysis of O3 and PM2.5 against passive and active observations using standard model verification 12 metrics such as bias, fractional bias, fraction of correct within a factor 2, correlation and variance. The 13 results show that verification of analyses against active observations always give an overestimation of 14 the correlation and variance. Evaluation against passive or any independent observations display a 15 minimum variance and maximum correlation as we vary the observation weight, thus providing a 16 mean to obtain the optimal observation weight. For the time and dates considered, the correlation 17 between (independent) observations and the model is 0.55 for O3 and 0.3 for PM2.5 and for the analysis, 18 with optimal observation weight, increases to 0.74 for O3 and 0.54 for PM2.5. We show that bias can be 19 a misleading measure of evaluation and recommend the use of a fractional bias such as the modified 20 normalized mean bias (MNMB). An evaluation of the model bias and variance as a function of model 21 values also show a clear linear dependence with the model values for both O3 and PM2.5. 22

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coverage Metrics for Temporal Logic Model Checking

In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete the specification is, and whether it really covers all the behaviors of the system. In this paper we study coverage metrics for model checking. Coverage metrics are based on modifications we apply to the system in ord...

متن کامل

Metrics in SoC Verification Not just for coverage anymore

Process metrics provide a clear, quantitative and objective measure to assess process performance and progress towards a specific process goal. SoC functional verification involves integrating multiple IP blocks. So understanding how to define, measure, correlate, and analyze appropriate IP and system-level metrics is fundamental to improving performance and achieving quality goals. Yet, many o...

متن کامل

Causality and Responsibility for Formal Verification and Beyond

The theory of actual causality, defined by Halpern and Pearl, and its quantitative measure – the degree of responsibility – was shown to be extremely useful in various areas of computer science due to a good match between the results it produces and our intuition. In this paper, I describe the applications of causality to formal verification, namely, explanation of counter-examples, refinement ...

متن کامل

Uma metodologia para identificação de módulos de circuitos integrados propensos a erros

Verifying large industrial designs is getting harder each day. The current verification methodologies can not guarantee bug free designs. Considering that is not possible to check all states of complex designs, the verification team should define coverage levels for each integrated circuit module. If the coverage of errorprone modules is prioritized, it is possible to identify more bugs in less...

متن کامل

Quality Measures and Assurance for AI Software

This report is concerned with the application of software quality and assurance techniques to AI software. It describes work performed for the National Aeronautics and Space Administration under contract NAS1 17067 (Task 5) and is also available as a NASA Contractor Report. The report is divided into three parts. In Part I we review existing software quality assurance measures and techniques–th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2018